Feeds to Scour
SubscribedAll
Scoured 121110 posts in 46.6 ms
Formally verifying digital circuits with category theory in Lean  🌐Zero-Suppressed BDDs
matt.hunzinger.me·5d·r/programming·
Dioperads, Frobenius monoidal functors and duality  🔢Homomorphic Encryption
arxiv.org·11h·
Topology uncovered in real space  📐Computational Geometry
nature.com
·2d·
James P. Edwards in nLab  📐Linear Algebra
ncatlab.org·2d·
Mad For Monads  🍱Nom
dev.to·3d·DEV·
The Reamorment Monograph: Four-Torus, Decordment, and the Topology of Return  ⚓Anchors
beyondturbulence.blogspot.com·3d·
What Category Theory Teaches Us About DataFrames  🏗️Data Modeling
mchav.github.io·4d·Lobsters, Hacker News, Hacker News, r/programming·
What’s the difference between a topology, an ontology and a taxonomy  🏗️Information Architecture
rogerswannell.com·5d·
Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via \v{C}ech Cohomology  🔬Static Analysis
arxiv.org·2d·
Manifold topological deep learning for biomedical data  🤖TVM
nature.com·20h·
Formal Deformation quantization as a Fr\'echet algebra  🧮Algebraic Effects
arxiv.org·11h·
Pairwise Independence of Representation, Classification, and Composition in Finite Extensional Magmas  🎯Hindley-Milner
arxiv.org·2d·
Learning Hidden Structures in Open Quantum Dynamics  ⚛️Quantum Computing
arxiv.org·11h·
A Graded Modal Dependent Type Theory with Erasure, Formalized  📐Type Theory
arxiv.org·1d·
How much of persistent homology is topology? A quantitative decomposition for spin model phase transitions  🕸️Graph Theory
arxiv.org·1d·
A Floer Theoretic Approach to Energy Eigenstates on one Dimensional Configuration Spaces  🔢Homomorphic Encryption
arxiv.org·1d·
Stone Duality for Monads  💫Effect Systems
arxiv.org·6d·
Deep Neural Networks: A Formulation Via Non-Archimedean Analysis  🔬Deep Learning
arxiv.org·2d·
Structural Graph Probing of Vision-Language Models  🧮Embeddings
arxiv.org·2d·
DELTA: A DAG-aware Efficient OCS Logical Topology Optimization Framework for AIDCs  🌐Omnipath
arxiv.org·2d·

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help